Nanex's High Frequency Trading Model